Tính chất Độ_đo

Các tính chất sau đây có được từ các tiên đề trên:

  • Nếu E1,E2,... là các tập đo được và E1 là tập con của E2, thì μ(E1) ≤ μ(E2).
  • Nếu E1,E2,E3,... là các tập đo được và En chứa trong En+1 với mọi n, vậy thì hợp E của các tập En là đo được và μ(E) = lim μ(En).
  • Nếu E1,E2,E3,... là các tập đo được và En+1 chứa trong En với mọi n, vậy thì giao E của các tập En là đo được; hơn nữa, nếu tồn tại một tập En có độ đo hữu hạn, thì μ(E) = lim μ(En).

Một tập S được gọi là hầu như rỗng hay có thể bỏ được nếu μ(S) = 0. Độ đo μ được gọi là đủ nếu mọi tập con của một tập hầu như rỗng là đo được (một tập con như vậy thì bản thân nó cũng là một tập hầu như rỗng).